Papers square up over potential Pulitzer for cancer-centre critics

Pulitzer winner-2011

Mukherjee dedicates his book to “Robert Sandler” and to all those who fought and continue to fight against cancer. In 1947, two year old Robert was the first leukemic patient to be tested with Farber’s antifolates. Robert even responded to aminopterin, though his cancer relapsed. The journey till the antifolates was not an easy one and it took decades after decades to traverse the path from the...

Proof Critics for IsaPlanner

The discovery of missing lemmas and case-splits are challenging problems for automated theorem proving. Most interactive provers rely on the user for guidance through these proof-steps. Proof-planning critics were introduced by Ireland as a way of automating this. Here, we present ongoing work developing critics for lemma speculation and caseanalysis in higher-order logic in the IsaPlanner system.

Health Centre Surveys as a Potential Tool for Monitoring Malaria Epidemiology by Area and over Time

BACKGROUND Presently, many malaria control programmes use health facility data to evaluate the impact of their interventions. Facility-based malaria data, although useful, have problems with completeness, validity and representativeness and reliance on routinely collected health facility data might undermine demonstration of the magnitude of the impact of the recent scaleups of malaria interven...

Adaptive Critics for Evolutionary Artists

We focus on the development of artificial art critics. These systems analyze artworks, extracting relevant features, and produce an evaluation of the perceived pieces. The ability to perform aesthetic judgments is a desirable characteristic in an evolutionary artificial artist. As such, the inclusion of artificial art critics in these systems may improve their artistic abilities. We propose art...

micrornas: promising potential targets for cancer treatment